'a * ('b, 'c) either
